laminectomy with lateral mass fixation